OBDD相关论文
寻找包含所有简单通路的通路方程是网络可靠性算法的一个必需过程.针对EED、OBDD等算法时间、空间复杂度过高的情况,在分析L系统的......
全概率分解法,不交最小路法与不交最小割法.最小路法与最小割法,二分决策图算法(OBDD),蒙特卡罗模拟法和递推分解算法是供水系统抗震......
有序的二叉决策图(OBDD)是形式验证领域的基础技术之一.由于OBDD的大小对变量序非常敏感,使得变量排序问题成为最关键的一个问题.首先将OBDD变量排序......
为了有效地在规格说明层面对软件系统进行测试,A.J.Offutt[1]针对系统的状态规格说明定义了一系列覆盖准则,并阐述了如何基于系统......
在元组独立的概率数据库中根据不等式的结构特性,不等式查询语句被分为三类:路径类型、树类型和图类型,针对现有secondary-storage......
由于传统的组合电路测试方法 ,如 D算法、PODEM算法和 FAN算法等 ,在搜索过程中都不可避免地要进行反向回溯 ,因此严重地影响了算......
施工系统的可靠性评估有助于减少项目风险、优化工程目标.文章综合考虑项目质量、成本、时间和安全目标,提出基于有序二元决策图(O......
有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法......
由于的传统的组合电路测试方法,如D算法、PODEM算法和FAN算法等,在搜索过程中都不可避免地要进行反射回溯,因此严重地影响了算法的效率。而OBDD是一......
OBDD是一种表示和操纵布尔函数的有效方法.由于许多布尔运算都可以转换为OBDD图的运算,因此,OBDD在集成电路设计领域,如逻辑综合、......
在数字集成电路设计过程中,为了实现已有组件的复用,文章提出了一种基于多项式表示法的组件匹配算法.通过要求实现功能的多项式表......
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模......
符号模型检验把有序二叉判定图OBDD技术引入到模型检验中,有效地缓解了状态组合爆炸问题.文章主要介绍了CTL模型检验基本概念和原......
割集生成算法和子图过滤算法是基于割集的装配序列规划的基础,本文通过分析不同基本割集组合之间的关系,设计了更合理的割集生成算法......
对异步时序电路的分析和使用是一个比较困难的问题,所以,异步时序电路的实际应用范围远不如同步时序电路,通过改进JRBurch等提出的分......
传统的组合逻辑电路测试方法在搜索过程中都不可避免地要进行反向回溯 ,由于反向回溯的次数过多 ,往往会降低算法的效率 .文中利用......
拆卸序列的紧凑表示是拆卸序列的评价与优化的基础,AND—OR图是拆卸序列表示的一种典型方法,但是拆卸序列的AND—OR图表示模型存在冗......
在逻辑验证和综合中,布尔匹配利用有序二叉判定图OBDD来检验两个给定的逻辑函数是否相等.为了提高匹配算法的效率,文中用最小项数作......
施工系统的可靠性评估有助于减少项目风险、优化工程目标。文章综合考虑项目质量、成本、时间和安全目标,提出基于有序二元决策图(O......
异步时序电路的测试一直是一个比较困难的问题.该文通过在前人研究的基础上,提出了一种实用、高效的自动测试生成方法.该方法通过......
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证......
根据从CAD系统中直接获得的产品装配模型的数据,来建立基于OBDD的装配体模型.采用OBDD的符号操作对装配操作的可能性和有效性进行......
根据机械装配序列推理的特点,对PADL-2提供的CAD模型数据进行简化处理,再结合有序二叉决策图(OBDD-O rdered B inary D ec is ion ......
针对现有解决方案计算复杂度高、编码规模大以及因明文数量限制而导致的密文碰撞的安全问题,利用基于OBDD的安全函数评估协议和加......
针对描述逻辑ALC的经典判定算法在处理大规模问题上的不足,而OBDD对于处理大规模问题有高效性,给出了一种基于OBDD的ALC判定算法并证......
描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点。鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上......
为评估组播下WSN可靠性,基于有序二叉决策图(OBDD)提出符号OBDD_Multicast算法。该算法在WSN符号OBDD表示的基础上,对WSN的节点变量......
针对模式匹配算法硬件实现过程中成本高的问题,提出一种基于OBDD的模式匹配算法。该算法通过OBDD刻画所有模式串,利用OBDD技术的S-......
状态爆炸是模型检验需解决的一个关键问题.基于GPVW算法,以及从LTL公式导出识别该公式的Bachi自动机,用OBDD符号表示,通过符号操作求解......
为了提高微处理器环境中数据处理速度及内存利用率,提出一种基于静态二叉链表结构的OBDD操作算法。该算法以节点四元化属性值作为......
摘要:总结了进行网络可靠性分析的一般步骤,比较了传统的网络分析方法的优缺点,重点论述了一种基于有序二叉决策图的方法,在考虑失效节......
采用了有序二叉决策图(OBDD)描述装配几何可行性,给出了装配操作厦其几何可行性的符号表示,设计了装配操作几何可行性的符号OBDD判别算......
符号模型检测中,将迁移关系表示为OBDD的一种较为高效的方法是先借助SMV语言将迁移关系表示为布尔函数,再利用相关算法综合得其OBD......
OBDD是布尔函数的一种有效的图形化表示形式。布尔函数的OBDD的阶数对布尔变量的序敏感。本文研究了DNF型和CNF型两种类型布尔函数......
基于内容的Pub/Sub系统的核心问题是基于内容的事件匹配.在现有的方法中,订阅者使用简单约束来匹配事件内容,难以支持事件复合匹配.针对......
文章根据OBDD模型检测的基本思想并结合一个微波炉模型实例来介绍一种基于状态编码的OBDD模型检测算法实现。该算法实现通过介绍自......
Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures......
针对传统算法求解动态拓扑网络可靠度会对没有受到拓扑变化影响的最小路集进行重新计算的问题,在Kuo的边扩展算法基础上,提出一种......
有序的二叉判决图(OBDD)是布尔表达式的一种有效表示方法,但它的体积对变量排序具有较强的依赖性。本文提出一种电路结构图,并在此基础上定......
编序的二元判决图(OBDD)在电路测试和逻辑验证等方面具有广泛的应用。如何选取一个电路的变量顺序,使得所构造的OBDD最小,是等同于NPC的问题。目前......
对称是逻辑综合,逻辑优化以及映象技术领域中的一个十分重要的性质,对于对称函数,可以使用特殊的逻辑综合程序来改进设计结果,使用对称......
航迹规划是决定无人飞行器飞行航迹优劣的关键环节。由于无人飞行器飞行空域广,态势也较复杂,实际规划中常常面临搜索的状态多、收......
有序的二叉决策图(OBDD)是形式验证领域的基础技术之一,由于OBDD的最大对变量序非常敏感,使得变量排序问题成为最关键的一个问题。首先将OBDD变量排......
对称是逻辑综合、逻辑优化以及映像技术领域中一个非常重要的性质.对于对称函数,可以使用特殊的逻辑综合程序来改进设计结果.使用......
总结了进行网络可靠性分析的一般步骤,比较了传统的网络分析方法的优缺点,重点论述了一种基于有序二叉决策图的方法,在考虑失效节点的......
摘要:为了有效地在规格说明层面对软件系统进行测试,A.J.Offutt针对系统的状态规格说明定义了一系列覆盖准则,并阐述了如何基于系统的......
“离散教学”是计算机专业的核心课程,是研究计算机科学的数学理论基础。有序二叉决策图(OBDD-Ordered Binary Decision Diagram)是描......
为快速确定含分布式电源(DG)配电网故障恢复的最优方案,首先,提出了基于改进Bellman-Ford算法的含多DG配电网孤岛划分图论模型,该......
随着图像信息的大量存储和传输,图像压缩技术的研究越来越深入。分析现有的无损图像压缩技术——基于统计概率方法、基于字典编码......